2. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
3. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
4. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
5. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
6. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
7. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : /by Kurt Godel.,گودل,Godel
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
8. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
9. از ارسطو تا گودل، مجموعه مقا‌له‌ها‌ی فلسفی - منطقی
پدیدآورنده : موحد، ضیا‌ء، ۱۳۲۱-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : سده ۲۰ م -- خطا‌به‌ها، سخنرانیها، مقا‌له‌ها منطق,خطا‌به‌ها، سخنرانیها، مقا‌له‌ها فلسفه,فلسفه زبا‌ن,نقد و تفسیر فرگه، گوتلوب، ۱۸۴۸- ۱۹۲۵ م Gottlob ,Frege,منطق -- نقد و تفسیر ارسطو، ۳۸۴-۳۲۲ ؟ ق.م.Aristotle,نقد و تفسیر هوسرل، ادموند، ۱۸۵۹-۱۹۳۸ م.Edmond ,Husser,نقد و تفسیر ابن سینا، حسین بن عبدالله، ۳۷۰-۴۲۸ ق. قیا‌س ها‌ی شرطی,فلسفه ریاضیات
رده :
BC38
.
M93
10. آشنايي با فلسفه و منطق رياضي
پدیدآورنده : جوامع، محمدجواد
کتابخانه: كتابخانه دانشگاه فرهنگیان پردیس شهید بهشتی (خراسان رضوی)
موضوع : فلسفه رياضيات=منطق رياضيات=رياضيات
11. آیا خدا یک ریاضی‌دان است؟
پدیدآورنده : / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار جوانان دختر (خراسان رضوی)
موضوع : رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
رده :
۵۱۰
/
۱
ل
۹۹۳
آ
12. آیا خدا یک ریاضی‌دان است؟
پدیدآورنده : / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع : رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
رده :
۵۱۰
/
۱
ل
۹۹۳
آ
13. آیا خدا یک ریاضی‌دان است؟
پدیدآورنده : / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار جوانان پسر (خراسان رضوی)
موضوع : رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
رده :
۵۱۰
/
۱
ل
۹۹۳
آ
14. آیا روش ریاضی دکارت در فلسفه متضمن با قطعیت و یقین است؟
پدیدآورنده :
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : ریاضیات;کلیات;فلسفه دکارت;ریاضی دکارت;منطق;,کثرت گرایی;معقولات ثانی ریاضی;علوم متعارفه;وحدت گرایی;شک دکارتی;انگارش;ابزارگرایی;شک گرایی;بداهت((اصطلاح وابسته)، مقابل ادراکات فطری);
15. با‌ز اندیشی فلسفه کا‌نت
پدیدآورنده : ادیا‌نی، یونس
کتابخانه: كتابخانه مؤسسه آموزشی و پژوهشی امام خمينی (ره) (قم)
موضوع : نقد و تفسیر کا‌نت، اما‌نوئل، ۱۷۲۴ - ۱۸۰۴ م.,قرن ۱۸ م. فلسفه آلما‌نی
رده :
B
۲۷۹۸
/
الف
۴
ب
۲ ۱۳۸۱
16. برهان گودل و حقيقت و برهان
پدیدآورنده : / نويسندگان: ارنست ناگل، ج. نبومن و آلفرد تارسکي
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : منطق رياضي,رياضيات - فلسفه
رده :
۵۱۰
/
۱
ن
۲۱۸
ب
۱۳۶۴
17. برهان گودل و حقيقت وبرهان
پدیدآورنده : نويسندگان: ارنست ناگل , ج نبومن و آلفرد تارسکي,مترجم محمد اردشير,مباحثي در فلسفه رياضي برهان گودل و حقيقت و برهان
کتابخانه: كتابخانه عمومی هريس (آذربایجان شرقی)
موضوع : منطق رياضي رياضيات فلسفه
رده :
510
/1
ن
218
ب
1364
18. برهان گودل و حقیقت برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱-
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ن
۲
ب
۴
19. پروژة منطق گرایی در ریاضیات: از بولتزانو تا راسل
پدیدآورنده : غلامحسین مقدم حیدری
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : این همانی;هم توانی;اصل متعارف بی نهایت;اصل متعارف انتخاب;اصل تحویل پذیری;نظریة انواع;نظریة انشقاق انواع;تعریف غیر اسنادی;منطق گرایی;
20. پژوهشی در پیرامون مسئله‌ی تصمیم در منطق: طرح چند خوارزمیک تحلیلی معنا‌یی
پدیدآورنده : ادیب سلطا‌نی، میرشمس‌الدین، ۱۳۱۰-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : منطق ریاضی,فلسفه ریاضیات,فلسفه,تصمیم گیری (منطق),الگوها‌ی ریاضی تصمیم گیری
رده :
BC135
.
A4P4
